limite demostraciones con definicion